• Article  

      A feasibility study for the provision of electronic healthcare tools and services in areas of Greece, Cyprus and Italy 

      Mougiakakou, Stavroula Gr; Kyriacou, Efthyvoulos C.; Perakis, Konstantinos; Papadopoulos, Homer; Androulidakis, Aggelos; Konnis, Georgios J.; Tranfaglia, Riccardo; Pecchia, Leandro; Bracale, Umberto; Pattichis, Constantinos S.; Koutsouris, Demetrios Dionysios (2011)
      Through this paper, we present the initial steps for the creation of an integrated platform for the provision of a series of eHealth tools and services to both citizens and travelers in isolated areas of thesoutheast ...
    • Article  

      Type checking purpose-based privacy policies in the π-calculus 

      Kokkinofta, E.; Philippou, Anna (2016)
      In this paper we propose a formal framework for studying privacy preserving policies based on the notion of purpose. Our framework employs the π-calculus with groups accompanied by a type system for capturing privacy ...